/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package bgu.dcr.tp;

import bgu.dcr.tp.cfg.MarkProperty;
import bgu.dcr.tp.cfg.Register;

/**
 *
 * @author Shl
 */
@Register("car-speed-provider")
public class CarSpeedProvider {

    int from;
    int to;
    long seed = 1234;

    @MarkProperty(name = "end", defaultValue = "100")
    public int getTo() {
        return to;
    }

    @MarkProperty(name = "start", defaultValue = "20")
    public int getFrom() {
        return from;
    }

    public void setSeed(long seed) {
        this.seed = seed;
    }

    public long getSeed() {
        return seed;
    }
    
    public void setFrom(int from) {
        this.from = from;
    }

    public void setTo(int to) {
        this.to = to;
    }
    
    
}
